Abstract logic - PDFSEARCH.IO - Document Search Engine

Abstract logic
Results: 1693

#	Item
441	Model Theory, Algebra, and Geometry MSRI Publications Volume 39, 2000 Overview DEIRDRE HASKELL, ANAND PILLAY, AND CHARLES STEINHORN Add to Reading List Source URL: library.msri.org Language: English - Date: 2001-06-12 16:44:26 Abstract algebra O-minimal theory Strongly minimal theory Definable set Structure Differentially closed field Real closed field Quantifier elimination Set theory Model theory Mathematical logic Mathematics
442	Advances in Applied Mathematics–466 www.elsevier.com/locate/yaama Smoothness of Schubert varieties via patterns in root subsystems Sara Billey a,1,∗ , Alexander Postnikov b,2 Add to Reading List Source URL: www.math.washington.edu Language: English - Date: 2006-04-26 18:46:55 Lie groups Lie algebras Metalogic Model theory Euclidean geometry Root system Weyl group Entailment Embedding Abstract algebra Mathematics Logic
443	SciFe: Scala Framework for Efficient Enumeration of Data Structures with Invariants Ivan Kuraj ABSTRACT We introduce SciFe, a tool for automated generation of complex structures, suitable for tasks such as automated test Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2014-09-13 07:09:29 Higher-order functions Search algorithms Data types Type theory Enumerated type Backtracking Generator Brute-force search Combinatory logic Computing Software engineering Computer programming
444	Comparison Geometry MSRI Publications Volume 30, 1997 Collapsing with No Proper Extremal Subsets G. PERELMAN Add to Reading List Source URL: library.msri.org Language: English - Date: 1998-06-23 18:39:34 Differential topology Mathematics Differentiable manifold Fiber bundle Diffeomorphism Riemannian manifold Sheaf Differential geometry Linear temporal logic Topology Algebraic topology Abstract algebra
445	Decision Procedures for CTL∗ Oliver Friedmann and Markus Latte Dept. of Computer Science, University of Munich, Germany Abstract. We give an overview over three serious attempts to devise an eﬀective decision method Add to Reading List Source URL: files.oliverfriedmann.de Language: English - Date: 2012-02-10 07:43:07 Mathematics CTL* Method of analytic tableaux Formal language Model checking Temporal logic Finite-state machine Tree automaton Powerset construction Automata theory Theoretical computer science Applied mathematics
446	COXETER-KNUTH GRAPHS AND A SIGNED LITTLE MAP FOR TYPE B REDUCED WORDS SARA BILLEY, ZACHARY HAMAKER, AUSTIN ROBERTS AND BENJAMIN YOUNG Abstract. We define an analog of David Little’s algorithm for reduced words in type Add to Reading List Source URL: www.math.washington.edu Language: English - Date: 2014-09-15 19:11:10 Symmetric functions Algebraic combinatorics Coxeter group Graph theory Representation theory Young tableau Harold Scott MacDonald Coxeter Littlewood–Richardson rule Modal logic Abstract algebra Mathematics Algebra
447	Theories of coalitional rationality∗ Attila Ambrus† Abstract This paper generalizes the concept of best response to coalitions of players and oﬀers epistemic definitions of coalitional rationalizability in normal f Add to Reading List Source URL: public.econ.duke.edu Language: English - Date: 2012-08-28 11:36:22 Science Cooperative game Sheaf Function Entailment Interpretation Nash equilibrium Solution concept Linear temporal logic Logic Game theory Mathematics
448	Linking Hanging Chain Models to Fabrication Axel Kilian, Ph.D. Candidate in Computation, Department of Architecture, School of Architecture and Planning, Massachusetts Institute of Technology, Cambridge, MA Abstract The Add to Reading List Source URL: www.designexplorer.net Language: English - Date: 2006-11-19 20:26:29 Analytic geometry Catenary Curves Exponentials Computational science Tensile structure Logic simulation Computer simulation General relativity Geometry Engineering Science
449	Effective Typestate Verification in the Presence of Aliasing STEPHEN J. FINK and ERAN YAHAV IBM T. J. Watson Research Center and NURIT DOR1 Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2010-01-27 15:57:10 Logic in computer science Formal methods Formal verification Pointer analysis Shape analysis Pointer The Verifier Abstract interpretation IP Theoretical computer science Applied mathematics Static program analysis
450	A Machine-Checked Formalization of Sigma-Protocols Gilles Barthe, Daniel Hedin, Santiago Zanella B´eguelin IMDEA Software, Madrid, Spain {Gilles.Barthe, Daniel.Hedin, Santiago.Zanella}@imdea.org Abstract—Zero-knowled Add to Reading List Source URL: software.imdea.org Language: English - Date: 2013-03-13 12:33:24 Mathematical logic Model theory Proof of knowledge Functions and mappings IP Zero-knowledge proof Structure Functor Soundness Mathematics Cryptographic protocols Logic

UPDATE